void Defender1(Environment *env, RealEnvironment REnv);